Common knowledge does not have the Beth property
نویسندگان
چکیده
منابع مشابه
Common knowledge does not have the Beth property
Common knowledge is an essential notion for coordination among agents. We show that the logic of common knowledge does not have the Beth property and thus it also lacks interpolation. The proof we present is a variant of Maksimova’s proof that temporal logics with ‘the next’ do not have the Beth property. Our result also provides an explanation why it is so difficult to find ‘nice’ deductive sy...
متن کاملOn the Radicals of a Group that does not have the Independence Property
We give an example of a pure group that does not have the independence property, whose Fitting subgroup is neither nilpotent nor definable andwhose soluble radical is neither soluble nor definable. This answers a question asked by E. Jaligot in May 2013. The Fitting subgroupof a stable group is nilpotent and definable (F.Wagner [11]). More generally, the Fitting subgroup of a group that satisfi...
متن کاملWhen the extension property does not hold
A complete extension theorem for linear codes over a module alphabet and the symmetrized weight composition is proved. It is shown that an extension property with respect to arbitrary weight function does not hold for module alphabets with a noncyclic socle.
متن کاملOn Ideals Which Have the Weakly Insertion of Factors Property
A one-sided ideal of a ring has the insertion of factors property (or simply, IFP) if implies r for . We say a one-sided ideal of has the weakly IFP if for each , implies , for some non-negative integer . We give some examples of ideals which have the weakly IFP but have not the IFP. Connections between ideals of which have the IFP and related ideals of some ring extensions a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2009
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2009.02.011